Перегляд за автором "Потиенко, С.В."

Результати 1-12 з 12

Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем

Колчин, А.В.; Потиенко, С.В. (Штучний інтелект, 2018)

Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, ...
Метод генерации тестовых данных по исходному коду Java программ

Колчин, А.В.; Потиенко, С.В. (Штучний інтелект, 2016)

Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы ...
Метод извлечения логики поведения из промышленного программного кода на языке Кобол

Губа, А.А.; Колчин, А.В.; Потиенко, С.В. (Проблеми програмування, 2016)

Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка ...
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем

Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Проблеми програмування, 2014)

Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при ...
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами

Потиенко, С.В. (2008)

В работе рассмотрены методы прямого и обратного символьного моделирования, используемые для решения задач верификации систем базовых протоколов. Помимо алгоритмов поиска в пространстве состояний системы, детально проработанных ...
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ

Волков, В.А.; Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Штучний інтелект, 2017)

Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. ...
Обзор современных систем и методов верификации формальных моделей

Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В.; Песчаненко, В.С. (Проблеми програмування, 2012)

Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле

Годлевский, А.Б.; Потиенко, С.В. (2010)

В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые ...
Организация базы знаний о переходах системы с атрибутами перечислимых типов

Потиенко, С.В. (Управляющие системы и машины, 2012)

Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.
Свойства предикатного трансформера системы VRS

Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)

Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...
Статическая проверка требований и подходы к решению проблемы достижимости

Потиенко, С.В. (2009)

Предложен метод статического анализа систем, представленных в формализме базовых протоколов. Построены алгоритмы проверки таких свойств систем, как непротиворечивость и полнота, а также выполнимость условий целостности. ...
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем

Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Штучний інтелект, 2015)

Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа ...

Результати 1-12 з 12

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Потиенко, С.В."

Репозиторій DSpace/Manakin

Перегляд за автором "Потиенко, С.В."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис